Decidability of the theory of modules over commutative valuation domains
نویسندگان
چکیده
We prove that, if V is an effectively given commutative valuation domain such that its value group is dense and archimedean, then the theory of all V -modules is decidable.
منابع مشابه
Uniformly Secondary Modules over Commutative Ring
In [2] the notion of “uniformly ideal” was introduced and developed the basic theory. In this article we introduce and advance a theory which, in a sense, dual to that i.e, the notion of “uniformly secondary module”.
متن کاملTowards the decidability of the theory of modules over finite commutative rings
On the basis of the Klingler–Levy classification of finitely generated modules over commutative noetherian rings we approach the old problem of classifying finite commutative rings R with decidable theory of modules. We prove that if R is (finite length) wild, then the theory of all R-modules is undecidable, and verify decidability of this theory for some classes of tame finite commutative rings.
متن کاملGeneralized Local Homology Modules of Complexes
The theory of local homology modules was initiated by Matlis in 1974. It is a dual version of the theory of local cohomology modules. Mohammadi and Divaani-Aazar (2012) studied the connection between local homology and Gorenstein flat modules by using Gorenstein flat resolutions. In this paper, we introduce generalized local homology modules for complexes and we give several ways for computing ...
متن کاملDecidability for Theories of Modules over Valuation Domains
Extending work of Puninski, Puninskaya and Toffalori in [PPT07], we show that if V is an effectively given valuation domain then the theory of all V -modules is decidable if and only if there exists an algorithm which, given a, b ∈ V , answers whether a ∈ rad(bV ). This was conjectured in [PPT07] for valuation domains with dense value group where it was proved for valuation domains with dense a...
متن کاملAN INTEGRAL DEPENDENCE IN MODULES OVER COMMUTATIVE RINGS
In this paper, we give a generalization of the integral dependence from rings to modules. We study the stability of the integral closure with respect to various module theoretic constructions. Moreover, we introduce the notion of integral extension of a module and prove the Lying over, Going up and Going down theorems for modules.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 145 شماره
صفحات -
تاریخ انتشار 2007